denotational semantics中文是什么意思
发音:
用"denotational semantics"造句"denotational semantics"怎么读"denotational semantics" in a sentence
中文翻译手机版
- 标志语意
- 标志语义
- 完全抽象
- 指称语义学
- "semantics"中文翻译 n. 1.【语言学】语义学。 2.【哲学】语义哲学;语义 ...
- "denotational semantics language" 中文翻译 : 标志语意语言
- "denotational semantics method" 中文翻译 : 标志语意方法
- "semantics" 中文翻译 : n. 1.【语言学】语义学。 2.【哲学】语义哲学;语义学派。
- "denotational description" 中文翻译 : 标志描述
- "denotational setting" 中文翻译 : 标志设定
- "algebraic semantics" 中文翻译 : 代数语义学
- "axiomatic semantics" 中文翻译 : 公理化语义; 公理语义学
- "body semantics" 中文翻译 : 手势语义学; 体态语义学
- "cartographic semantics" 中文翻译 : 地图语义
- "compositional semantics" 中文翻译 : 成分语义学; 组合语义学
- "computational semantics" 中文翻译 : 计算语意学; 计算语义学
- "database semantics" 中文翻译 : 数据库语义学
- "declarative semantics" 中文翻译 : 宣告语意
- "deterministic semantics" 中文翻译 : 确定性语义学
- "formal semantics" 中文翻译 : 形式语意学; 形式语义学
- "functional semantics" 中文翻译 : 功能语义
- "game semantics" 中文翻译 : 博弈语义
- "general semantics" 中文翻译 : 【语言学】普通语义学。
- "generative semantics" 中文翻译 : 生成语义学
- "intensional semantics" 中文翻译 : 内涵语意学
- "interleaving semantics" 中文翻译 : 交错语义
- "interpretative semantics" 中文翻译 : 解释语义学
- "interpretive semantics" 中文翻译 : 解释语义; 诠释性语意学
- "kripke semantics" 中文翻译 : kripke语义; 关系语义
例句与用法
- The study of denotational semantics of vhdl
西方语言哲学研究的现状与前景 - Equivalence proving of operational and denotational semantics about repeat - until statement
语句的操作语义与指称语义的等价性证明 - It is shown that the proposed refinement approaches have the commonly expected properties : the behaviour of the refined process can be inferred compositionally from the behaviour of the original process and from the behaviour of the processes substituted for actions ; the timed extensions of pomset partially ordered multiset trace equivalence and history preserving bisimulation equivalence are both congruences under the refinement ; the syntactic and semantic refinements coincide up to the aforementioned equivalence relations with respect to a cpo - based denotational semantics
然而,对于并发系统来说,时间指标是一个至关重要的因素,很多现实生活中的并发系统都跟时间密切相关,另外,紧急事件在实时并发系统中也是常见的现象,在已研究的动作精化理论当中紧急事件都仅仅只限于用来模拟超时事件,并且是不能被精化的,这对于很多现实系统来说是一个很大的限制。 - The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。
其他语种
百科解释
In computer science, denotational semantics (initially known as mathematical semantics or Scott?Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) which describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.
详细百科解释
相关词汇
denotational setting 中文, denotational description 中文, denotational semantics method 中文, denotational semantics language 中文, operational semantics 中文, declarative semantics 中文, semantics evaluation 中文, computational semantics 中文, situation semantics 中文, denotation dictionary 中文, denotation directory 中文, denotation impulse 中文, denotation token 中文, denotative 中文, denotative definition 中文,
相邻词汇
denotational semantics的中文翻译,denotational semantics是什么意思,怎么用汉语翻译denotational semantics,denotational semantics的中文意思,denotational semantics的中文,denotational semantics in Chinese,denotational semantics的中文,denotational semantics怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。